English computer program specification: תרגום לשפות אחרות